ring ideal abstract